- Reduktionstheorie
- (f)теория приведения
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Nikolaus Hofreiter — (* 8. Mai 1904 in Linz Urfahr; † 23. Januar 1990) war ein österreichischer Mathematiker, der sich vor allem mit Zahlentheorie beschäftigte. Hofreiter, dessen Mutter eine Lederfabrik mit in die Familie brachte, besuchte das Realgymnasium in Linz… … Deutsch Wikipedia
Alan Weinstein — in Berkeley, 1985 Alan David Weinstein (* 17. Juni 1943 in New York City[1]) ist ein US amerikanischer Mathematiker, der sich mit Differentialgeometrie, Mechanik und symplektischer Geometrie beschäftigt. Weinstein studierte am Massachusetts… … Deutsch Wikipedia
Jerrold Marsden — Jerrold E. Marsden (* 17. August 1942 in Ocean Falls, British Columbia in Kanada; † 21. September 2010 in Pasadena, Kalifornien) war ein kanadischer Mathematiker, der sich unter anderem mit Differentialgeometrie, geometrischer Mechanik und… … Deutsch Wikipedia
КАЛЬМАР — (Kalmár), Ласло (р. 27 марта 1905) – венг. логик и математик. Проф. ун та в Сегеде, чл. АН Венг. Народной Республики (с 1961). Работает в области математич. логики, а также теории функций, функционального анализа и в др. областях математики.… … Философская энциклопедия
ПРЕДВАРЁННАЯ ФОРМА — нормальная форма представления формул предикатов исчисления, имеющая (в общем случае) вид: ФОРМА > где Qι (0 ≤ ι ≤ n) – квантор общности (∀) или существования (∃); (...) формула, не содержащая кванторов и находящаяся в области действия каждого… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Nikolaus Hofreiter — Nikolaus, Hofreiter Born May 8, 1904(1904 05 08) Linz, Upper Austria, Austria Died January 23, 1990( … Wikipedia